s{-}filter($p$;${\it as}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$reduce($\lambda$$a$,$l$. if $p$($a$)$\rightarrow$ s{-}insert($a$;$l$) else $l$ fi;nil;${\it as}$)